COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "pub.let" source file
C00003 ENDMK
C⊗;
.require "pub.let" source file;
∂AILMasahiko Sato↓Research Institute for Mathematical Sciences↓Kyoto University↓Kyoto Japan∞

Dear Mr. Sato:

You have my permission to prepare the joint abstract.  Enclosed is the
proof of the final problem as axiomatized for our first order logic proof
checker FOL.  The version I am sending you is not the final one which will
have slightly modified axioms.  Also, the printout of the proof does not
show all commands correctly.

I will send you the final version as soon as it is ready.  There is not
much in this write-up besides what we all knew in Kyoto.

.sgn
.skip
enclosure